Reported-by: Gihun Jung <gihun.jung@gmail.com>
Signed-off-by: Tim Deegan <tim@xen.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
/* Set up the HTCR:
* PT walks use Outer-Shareable accesses,
- * PT walks are write-back, no-write-allocate in both cache levels,
+ * PT walks are write-back, write-allocate in both cache levels,
* Full 32-bit address space goes through this table. */
ldr r0, =0x80002500
mcr CP32(r0, HTCR)
* PASize -- 4G
* Top byte is used
* PT walks use Outer-Shareable accesses,
- * PT walks are write-back, no-write-allocate in both cache levels,
+ * PT walks are write-back, write-allocate in both cache levels,
* Full 64-bit address space goes through this table. */
ldr x0, =0x80802500
msr tcr_el2, x0